Andrei Kolmogorov
https://ja.wikipedia.org/wiki/アンドレイ%E3%83%BBコルモゴロフ
業績
公理的確率論
直観主義論理
における
Brouwer-Heyting-Kolmogorov解釈
の一人
Kolmogorov複雑度
の理論，すなわち
アルゴリズム情報理論
の創始者としても知られる